From: Alexander Mikhaylenko Date: Sat, 9 May 2020 14:27:00 +0000 (+0500) Subject: workspacesView: Lower scroll timeout X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~684^2^2~402 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=e59ca7053b37508f6cc755b61a28979a55eb50e5;p=gnome-shell.git workspacesView: Lower scroll timeout Looks like 250ms is too high, lower it to 150ms. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602 --- diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index 942b87449..09155c5ae 100644 --- a/js/ui/workspacesView.js +++ b/js/ui/workspacesView.js @@ -8,6 +8,7 @@ const SwipeTracker = imports.ui.swipeTracker; const Workspace = imports.ui.workspace; var WORKSPACE_SWITCH_TIME = 250; +var SCROLL_TIMEOUT_TIME = 150; var AnimationType = { ZOOM: 0, @@ -815,7 +816,7 @@ class WorkspacesDisplay extends St.Widget { this._canScroll = false; this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, - WORKSPACE_SWITCH_TIME, () => { + SCROLL_TIMEOUT_TIME, () => { this._canScroll = true; this._scrollTimeoutId = 0; return GLib.SOURCE_REMOVE;